module X {
  header "X.h"
  export *
}
